Formal Object-oriented User-interface Design Formal Object-oriented User-interface Design
نویسنده
چکیده
A notation is presented for formally describing the design of a user-interface. The speciication of a system is given using the Object-Z formal speciication language and then extended to describe presentation using an Object-Z class library. The Object-Z notation is extended to enable designs to be described using UAN (User Action Notation) annotations and the semantics for the design extensions is sketched. The extended Object-Z notation supports a design philosophy of abstract speciication of functionality prior to concrete user-interface design.
منابع مشابه
Formal Foundation and Conceptual Design of Dynamic Adaptations in a Workflow Management System
While the different aspects of flexible workflow management are still under discussion, the ability to adapt the structure of running workflow instances to modified workflow schemas is an important property of a flexible workflow management system. In this paper we present the formal foundation and conceptual design of dynamic adaptations in an object-oriented workflow management system. We des...
متن کاملA Formal Theory for the Views Relationship
The lack of methodological support for reuse has been identiied as one of the major causes why software developers can not take full advantage of reuse pay oos such as software productivity , quality, and cost improvement. There is, therefore, a need for explicit deenitions about how to practice reuse as part of the development process. These deenitions include models and properties of reuse te...
متن کاملTo wards a 3 - dimensional Net - based Object - Oriented DeveLopment Environment ( NOODLE ) 1
Object-oriented analysis and design methodologies arec onsidered as the most popular software development methods for the 1990s. Numerous graphic notations have already been designed for this purpose.Acommon drawback, however,i st hat theyh ave been developed informally.T herei sn o theoretical framework enabling us to define precisely the object-oriented concepts involved, to solve concurrency...
متن کاملA User-Centered Approach to Object-Oriented User Interface Design
This chapter emphasizes user-centered design as the essential process for developing usable systems. User-centered design tries to strengthen the creative aspects of user interface design. However, this does not fit very well with the more structured, architecture-centered nature of object-oriented development methodologies. Several problems associated with object-oriented techniques have been ...
متن کاملModelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کامل